#include "kernel/syspub.h"

int main()
{
    int Hour = 0;   
    int Min = 0; 
    int Sec = 0;  

    GetSysTime(&Hour,&Min,&Sec);
    printf("%d : %d : %d \n", Hour, Min, Sec);

    return 0;
}
